-
Notifications
You must be signed in to change notification settings - Fork 3
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Re-connect to Zino server on lost connection #110
Conversation
All errors related to connection loss are now handled in a separate handler
Codecov ReportAttention: Patch coverage is
Additional details and impacted files@@ Coverage Diff @@
## main #110 +/- ##
=======================================
Coverage ? 48.37%
=======================================
Files ? 15
Lines ? 862
Branches ? 0
=======================================
Hits ? 417
Misses ? 445
Partials ? 0 ☔ View full report in Codecov by Sentry. |
src/howitz/error_handlers.py
Outdated
if isinstance(e, BrokenPipeError): | ||
current_app.logger.error("Lost connection to Zino server: %s", e) | ||
else: | ||
current_app.logger.error("Lost connection to Zino server: %s", e.args[0]) | ||
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Urgh, I meant: log with error in the else
. logger.exception is fine for BrokenPipeError.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Fixup pushed
4ac9a48
to
a67309b
Compare
Closes #94
It ain't pretty, but it fixes the bug:
/login
for complete re-authentication.